(: Name: fn-true-13 :)
(: Description: Evaluation of an "fn:true" function with a comparison expression involving the "<" operator. :)
fn:true() < fn:true()